dw 0x1E5CBF00 ;CRC32(S8500XXJD9)
dw 0x00000000 ;null_marker
dw 0x424867D0 ;MemMMUCacheEnable
dw 0x4249D804 ;__PfsNandInit
dw 0x4249D6F0 ;__PfsMassInit
dw 0x424C985C ;tfs4_stat
dw 0x424C8708 ;tfs4_open
dw 0x424C8C4C ;tfs4_read
dw 0x424C8888 ;tfs4_close
dw 0x424820A0 ;EdbgOutputDebugString
dw 0x425ABB78 ;button_pressed
dw 0x425C8000 ;gMMUL1PageTable